Thesaurus
A really fast thesaurus... with lots of synonyms.
Peirce's law (0 synonym found)
We don't have any synonyms for Peirce's law yet.
Think Peirce's law belongs in the thesaurus? Recommend it and we'll take a look.
Definition of Peirce's law:
(n) :
(logic) The classically valid but intuitionistically non-valid formula ((P→Q)→P)→P of propositional calculus, which can be used as a substitute for the law of excluded middle in implicational propositional calculus.
Definition of Peirce's law:
(n) :
(logic) The classically valid but intuitionistically non-valid formula ((P→Q)→P)→P of propositional calculus, which can be used as a substitute for the law of excluded middle in implicational propositional calculus.
A make the world a better place giveback project.
Wiktionary content available under the GNU FDL
Charlotte Website Design by Next Wave Services